Train Traffic Simulation with Coloured Petri Nets and Schedule Optimisation
نویسندگان
چکیده
S. Bartkevičius Department of Theoretical Electric Engineering, Kaunas University of Technology, Studentų 48, 51367 Kaunas, Lithuania; ph +370 37 300253. E-mail., [email protected]. V. Bagdonas, M. Juraška, K. Šarkauskas Department of Control Engineering, Kaunas University of Technology, Studentų 48, 51367 Kaunas, Lithuania; ph +370 37 300290. E-mail, [email protected], [email protected], Kastytis [email protected]
منابع مشابه
An urban traffic network model via coloured timed Petri nets
This paper deals with modelling of traffic networks for control purposes. A modular framework based on coloured timed Petri nets is proposed to model the dynamics of signalized traffic network systems: places represent link cells and crossing sections, tokens are vehicles and token colours represent the routing of the corresponding vehicle. In addition, ordinary timed Petri nets model the signa...
متن کاملSchedule Optimization based on Coloured Petri Nets and Local Search
The contribution deals with simulation-optimization of schedules that are modelled by simple Coloured Petri nets (CPNs). CPN modelling of standard classes of scheduling problems is addressed and compact CPN representations of scheduling problems are proposed. It is shown how a combination of CPN representations with predefined transition sequence conflict resolution strategy can be used to opti...
متن کاملExperience using Coloured Petri Nets to Model Railway Interlocking Tables
Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect error...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملAn Airport Pavement Traffic Simulation Based on CPN
According to the characteristics of airport pavement traffic, we discuss a method of building an airport pavement traffic model which is based on CPN theory and simulate a practical situation as well. The method overcomes the shortage of modelling with normal Petri Net theory, solves the difficult problems of airport pavement traffic such as complex traffic nets, frequent road changing, etc., r...
متن کامل